a.f(a) is c< preserving on e.P(e) == e, e':{e:E| P(e)} . (e < e')  (f(e) < f(e')) 

latex

---

clarification:

causal-order-preserving(es;a.f(a);e.P(e))
== e:{e:es-E(es)| P(e)} , e':{e:es-E(es)| P(e)} .
== es-causl(es; e; e')  es-causl(es; f(e); f(e')) 

latex

Definitions	x:A. B(x), {x:A| B(x)} , E, P  Q, (e < e')
FDL editor aliases	causal-order-preserving